退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Coq中的构造性代数层次
Geuvers, JH Herman; Pollack, R; Wiedijk, F; Zwanenburg, J Jan;
机译:Coq中的构造代数层次
机译:层次结构建设者:代数层次结构在COQ方面搭配ELPI(系统说明)
机译:Coq建构型理论中的常规语言表征。
机译:在Coq中使用类型类开发代数层次结构
机译:最佳分层综合的建设性建模策略和实施框架。
机译:关于离散可交换代数构造理论的基础(第二篇论文)
机译:逆向工程:建构性solid211几何的代数边界表示
机译:具有线性代数限制的分层深度神经网络预测现金流量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。